<?php
	session_start();
	session_destroy();
	setcookie(session_name(),'',time()-3600);
	$_SESSION = array();
	echo "<script language='javascript'>";
	echo "self.location='login.html';";
	echo "</script>";
?>